[nom] Division administrative et militaire qui se rapporte à la marine et administré par un officier général de la marine militaire.
Politique Division administrative et militaire se rapportant à la marine, port de guerre, chef-lieu d'une région maritime.